#ifndef __GKOS_TIMER_H
#define __GKOS_TIMER_H

#include "lib/global.h"

/*
* Function: InitTimer 
* Return: void
*----------------------------------------------------
* 初始化时钟设备
*/
void InitTimer();

#endif